Partially synchronous model